Control Contraction Metrics and Universal Stabilizability
نویسندگان
چکیده
In this paper we introduce the concept of universal stabilizability: the condition that every solution of a nonlinear system can be globally stabilized. We give sufficient conditions in terms of the existence of a control contraction metric, which can be found by solving a pointwise linear matrix inequality. Extensions to approximate optimal control are straightforward. The conditions we give are necessary and sufficient for linear systems and certain classes of nonlinear systems, and have interesting connections to the theory of control Lyapunov functions.
منابع مشابه
An Amendment to "Control Contraction Metrics: Convex and Intrinsic Criteria for Nonlinear Feedback Design"
We provide an amendment to the first theorem of “Control Contraction Metrics: Convex and Intrinsic Criteria for Nonlinear Feedback Design” by Manchester & Slotine in the form of an additional technical condition required to show integrability of differential control signals. This technical condition is shown to be satisfied under the original assumptions if the input matrix is constant rank, an...
متن کاملA \ Universal " Construction of Artstein ' S
This note presents an explicit proof of the theorem {due to Artstein{ which states that the existence of a smooth control-Lyapunov function implies smooth stabilizability. Moreover , the result is extended to the real-analytic and rational cases as well. The proof uses a \universal" formula given by an algebraic function of Lie derivatives; this formula originates in the solution of a simple Ri...
متن کاملStabilisability and Stability for Explicit and Implicit Polynomial Systems: A Symbolic Computation Approach
Stabilizability and stability for a large class of discrete-time polynomial systems can be decided using symbolic computation packages for quantifier elimination in the first order theory of real closed fields. A large class of constraints on states of the system and control inputs can be treated in the same way. Stability of a system can be checked by constructing a Lyapunov function, which is...
متن کاملA “ Universal ” Construction of Artstein ’ S Theorem on Nonlinear Stabilization
This note presents an explicit proof of the theorem –due to Artstein– which states that the existence of a smooth control-Lyapunov function implies smooth stabilizability. Moreover, the result is extended to the real-analytic and rational cases as well. The proof uses a “universal” formula given by an algebraic function of Lie derivatives; this formula originates in the solution of a simple Ric...
متن کاملStructural Properties of Multirate Sampled-Data Systems
The application of Networked Control Systems (NCS) in which sensory and control signals are transmitted via shared data communication networks, is growing significantly and these systems have been the subject of research during the last decade. On the other hand, multirate sampled data systems have been investigated since a long time. In this paper, conditions under which a networked control sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1311.4625 شماره
صفحات -
تاریخ انتشار 2013